d{-}empty() $\in$ Dsys